Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
101	Tutorial 16: Diﬀerentiation 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:09 Ordinal numbers General topology Set theory Order topology Ordinal arithmetic Mathematical logic Mathematics Constructible universe
102	Weak Bisimulation Approximants Will Harwood, Faron Moller , and Anton Setzer Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-07-06 06:30:07 Constructible universe Cardinal number Tree Net Limit ordinal Ordinal arithmetic Mahlo cardinal Mathematical logic Ordinal numbers Mathematics
103	Weak Bisimulation Approximants Will Harwood, Faron Moller, and Anton Setzer⋆ Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 17:32:00 Set theory General topology Constructible universe Tree Cardinal number Net Ordinal arithmetic Mahlo cardinal Mathematical logic Mathematics Ordinal numbers
104	Background Hyperarithmetic analysis New statements Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Proof theory Computability theory Reverse mathematics Second-order arithmetic Ordinal number Constructible universe Axiom Mathematical logic Logic Mathematics
105	arXiv:math/0408230v6 [math.CO] 8 Apr[removed]On magic squares∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 13:50:19 Magic square Letter Ordinal arithmetic Graeco-Latin square Mathematics Alphabetic writing systems Greek alphabet
106	Ordinal Mind Change Complexity of Language Identification Andris Ambainis a , Sanjay Jain b , Arun Sharma c Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 21:38:34 Ordinal arithmetic Ordinal notation Sequence Limit ordinal Large countable ordinal Order topology Ordinal numbers Mathematical logic Mathematics
107	CONTRIBUCIONES CIENT´ IFICAS ´ GOMEZ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2010-07-19 06:24:06 Abstract algebra Ordinal number Constructible universe Complementation of Büchi automaton Ordinal arithmetic Mathematical logic Mathematics Automata theory
108	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-06-03 06:05:55 Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe
109	There is one order-complete ordered-field Jonathan L.F. King University of Florida, Gainesville FL[removed], USA Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2010-09-15 10:57:06 Symbol Set theory Constructible universe Ordinal arithmetic Curry–Howard correspondence Mathematical logic Mathematics Ordinal numbers
110	The Origins of Mathematics1 The origins of mathematics accompanied the evolution of social systems. Many, many social needs require calculation and numbers. Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2003-01-15 09:30:28 Elementary mathematics Mathematics education Counting Ishango bone Arithmetic Ordinal number Multiplication Blombos Cave Number Mathematics Mathematical logic Numeral systems

UPDATE